arithmetic predicate
英 [əˈrɪθmətɪk ˈpredɪkət]
美 [əˈrɪθmətɪk ˈpredɪkət]
网络 算术谓词
双语例句
- The arithmetic expression involving the START_DATE column makes the predicate non-indexable.
算术表达式包含STARTDATE列使得谓词不可索引。 - This paper mainly introduced The designing method and implementing Arithmetic of Modern Mongolian Predicate Segment Automatic Segmentation System.
本文主要介绍了基于这些知识库开发的《现代蒙古语谓语段自动标注系统》的设计方法和实现算法。 - The linear predicate function on a given path is directly used as linear arithmetic representation to construct linear constrains of predicate functions for input variables. Only if the predicate function is nonlinear, the linear arithmetic representation needs to be computed.
该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束，仅当谓词函数是输入变量的非线性函数时，才计算其线性算术表示。